Optimal. Leaf size=100 \[ -\frac {i d^3 (1+i c x)^4 \left (a+b \tan ^{-1}(c x)\right )}{4 c}-\frac {b d^3 (1+i c x)^3}{12 c}-\frac {b d^3 (1+i c x)^2}{4 c}-\frac {2 b d^3 \log (1-i c x)}{c}-i b d^3 x \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 0.05, antiderivative size = 100, normalized size of antiderivative = 1.00, number of steps used = 4, number of rules used = 3, integrand size = 20, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.150, Rules used = {4862, 627, 43} \[ -\frac {i d^3 (1+i c x)^4 \left (a+b \tan ^{-1}(c x)\right )}{4 c}-\frac {b d^3 (1+i c x)^3}{12 c}-\frac {b d^3 (1+i c x)^2}{4 c}-\frac {2 b d^3 \log (1-i c x)}{c}-i b d^3 x \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 43
Rule 627
Rule 4862
Rubi steps
\begin {align*} \int (d+i c d x)^3 \left (a+b \tan ^{-1}(c x)\right ) \, dx &=-\frac {i d^3 (1+i c x)^4 \left (a+b \tan ^{-1}(c x)\right )}{4 c}+\frac {(i b) \int \frac {(d+i c d x)^4}{1+c^2 x^2} \, dx}{4 d}\\ &=-\frac {i d^3 (1+i c x)^4 \left (a+b \tan ^{-1}(c x)\right )}{4 c}+\frac {(i b) \int \frac {(d+i c d x)^3}{\frac {1}{d}-\frac {i c x}{d}} \, dx}{4 d}\\ &=-\frac {i d^3 (1+i c x)^4 \left (a+b \tan ^{-1}(c x)\right )}{4 c}+\frac {(i b) \int \left (-4 d^4+\frac {8 d^3}{\frac {1}{d}-\frac {i c x}{d}}-2 d^3 (d+i c d x)-d^2 (d+i c d x)^2\right ) \, dx}{4 d}\\ &=-i b d^3 x-\frac {b d^3 (1+i c x)^2}{4 c}-\frac {b d^3 (1+i c x)^3}{12 c}-\frac {i d^3 (1+i c x)^4 \left (a+b \tan ^{-1}(c x)\right )}{4 c}-\frac {2 b d^3 \log (1-i c x)}{c}\\ \end {align*}
________________________________________________________________________________________
Mathematica [A] time = 0.04, size = 77, normalized size = 0.77 \[ -\frac {i \left (3 (d+i c d x)^4 \left (a+b \tan ^{-1}(c x)\right )-b d^4 \left (c^3 x^3-6 i c^2 x^2-21 c x+24 i \log (c x+i)+4 i\right )\right )}{12 c d} \]
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
fricas [A] time = 0.43, size = 160, normalized size = 1.60 \[ \frac {-6 i \, a c^{4} d^{3} x^{4} - 2 \, {\left (12 \, a - i \, b\right )} c^{3} d^{3} x^{3} + {\left (36 i \, a + 12 \, b\right )} c^{2} d^{3} x^{2} + 6 \, {\left (4 \, a - 7 i \, b\right )} c d^{3} x - 45 \, b d^{3} \log \left (\frac {c x + i}{c}\right ) - 3 \, b d^{3} \log \left (\frac {c x - i}{c}\right ) + {\left (3 \, b c^{4} d^{3} x^{4} - 12 i \, b c^{3} d^{3} x^{3} - 18 \, b c^{2} d^{3} x^{2} + 12 i \, b c d^{3} x\right )} \log \left (-\frac {c x + i}{c x - i}\right )}{24 \, c} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
giac [F] time = 0.00, size = 0, normalized size = 0.00 \[ \mathit {sage}_{0} x \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maple [A] time = 0.03, size = 176, normalized size = 1.76 \[ -\frac {i c^{3} x^{4} a \,d^{3}}{4}-c^{2} d^{3} a \,x^{3}+\frac {3 i c \,x^{2} a \,d^{3}}{2}+x a \,d^{3}-\frac {i d^{3} a}{4 c}-\frac {i c^{3} d^{3} b \arctan \left (c x \right ) x^{4}}{4}-c^{2} d^{3} b \arctan \left (c x \right ) x^{3}+\frac {3 i c \,d^{3} b \arctan \left (c x \right ) x^{2}}{2}+d^{3} b \arctan \left (c x \right ) x +\frac {7 i d^{3} b \arctan \left (c x \right )}{4 c}-\frac {7 i d^{3} b x}{4}+\frac {i c^{2} d^{3} b \,x^{3}}{12}+\frac {c \,d^{3} b \,x^{2}}{2}-\frac {d^{3} b \ln \left (c^{2} x^{2}+1\right )}{c} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
maxima [B] time = 0.42, size = 197, normalized size = 1.97 \[ -\frac {1}{4} i \, a c^{3} d^{3} x^{4} - a c^{2} d^{3} x^{3} - \frac {1}{12} i \, {\left (3 \, x^{4} \arctan \left (c x\right ) - c {\left (\frac {c^{2} x^{3} - 3 \, x}{c^{4}} + \frac {3 \, \arctan \left (c x\right )}{c^{5}}\right )}\right )} b c^{3} d^{3} - \frac {1}{2} \, {\left (2 \, x^{3} \arctan \left (c x\right ) - c {\left (\frac {x^{2}}{c^{2}} - \frac {\log \left (c^{2} x^{2} + 1\right )}{c^{4}}\right )}\right )} b c^{2} d^{3} + \frac {3}{2} i \, a c d^{3} x^{2} + \frac {3}{2} i \, {\left (x^{2} \arctan \left (c x\right ) - c {\left (\frac {x}{c^{2}} - \frac {\arctan \left (c x\right )}{c^{3}}\right )}\right )} b c d^{3} + a d^{3} x + \frac {{\left (2 \, c x \arctan \left (c x\right ) - \log \left (c^{2} x^{2} + 1\right )\right )} b d^{3}}{2 \, c} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
mupad [B] time = 0.69, size = 147, normalized size = 1.47 \[ -\frac {d^3\,\left (a\,x\,12{}\mathrm {i}+21\,b\,x+b\,x\,\mathrm {atan}\left (c\,x\right )\,12{}\mathrm {i}\right )\,1{}\mathrm {i}}{12}-\frac {c^3\,d^3\,\left (3\,a\,x^4+3\,b\,x^4\,\mathrm {atan}\left (c\,x\right )\right )\,1{}\mathrm {i}}{12}+\frac {d^3\,\left (21\,b\,\mathrm {atan}\left (c\,x\right )+b\,\ln \left (c^2\,x^2+1\right )\,12{}\mathrm {i}\right )\,1{}\mathrm {i}}{12\,c}+\frac {c\,d^3\,\left (18\,a\,x^2+18\,b\,x^2\,\mathrm {atan}\left (c\,x\right )-b\,x^2\,6{}\mathrm {i}\right )\,1{}\mathrm {i}}{12}+\frac {c^2\,d^3\,\left (a\,x^3\,12{}\mathrm {i}+b\,x^3+b\,x^3\,\mathrm {atan}\left (c\,x\right )\,12{}\mathrm {i}\right )\,1{}\mathrm {i}}{12} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
sympy [B] time = 4.10, size = 267, normalized size = 2.67 \[ - \frac {i a c^{3} d^{3} x^{4}}{4} - \frac {b d^{3} \left (\frac {\log {\left (22 b c d^{3} x - 22 i b d^{3} \right )}}{8} + \frac {49 \log {\left (22 b c d^{3} x + 22 i b d^{3} \right )}}{40}\right )}{c} - x^{3} \left (a c^{2} d^{3} - \frac {i b c^{2} d^{3}}{12}\right ) - x^{2} \left (- \frac {3 i a c d^{3}}{2} - \frac {b c d^{3}}{2}\right ) - x \left (- a d^{3} + \frac {7 i b d^{3}}{4}\right ) + \left (- \frac {b c^{3} d^{3} x^{4}}{8} + \frac {i b c^{2} d^{3} x^{3}}{2} + \frac {3 b c d^{3} x^{2}}{4} - \frac {i b d^{3} x}{2}\right ) \log {\left (i c x + 1 \right )} - \frac {\left (- 5 b c^{4} d^{3} x^{4} + 20 i b c^{3} d^{3} x^{3} + 30 b c^{2} d^{3} x^{2} - 20 i b c d^{3} x + 26 b d^{3}\right ) \log {\left (- i c x + 1 \right )}}{40 c} \]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________